Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
911	An Introduction to Dylan Release 1.0 Dylan Hackers May 20, 2015 Add to Reading List Source URL: opendylan.org Language: English - Date: 2015-05-20 13:58:16 Cross-platform software Data types Lisp programming language Type theory Method Dylan Common Lisp Lisp Generic function Software engineering Computing Computer programming
912	Step-by-step instructions on how to set up your creature Allen Parseghian November 15, Print out the creature library tutorial file (cl.ps) which is located in /home/ll/doc/cl_tutorial directory. Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 1999-11-23 17:38:58 Creature Programming language theory Computing Software engineering Type theory Library Type system
913	Tokyo Cabinet and CouchDB with Mnesia by Rickard Cardell Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:30 Structured storage Erlang programming language Database management systems Database theory NoSQL Mnesia CouchDB Erlang SQL Data management Computing Data
914	SmfxsH.hlp PAGE Welcome to SIMFLEX Pipe Stress Analysis Studio This help file contains operation instruction and brief descriptions of the Add to Reading List Source URL: www.pipestress.com Language: English - Date: 2002-08-11 03:27:47 Software engineering ALGOL 68 Piping and plumbing fittings Less C Computing Programming language theory Procedural programming languages
915	After the meat and potatoes, before the pickles: superaccessors (Part 1) c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 16th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-09-20 05:42:22 Object-oriented programming Java programming language Method Polymorphism Subtype polymorphism Type theory Method overriding Mutator method Clone Computing Software engineering Computer programming
916	Progress Report Ian Evans On behalf of the Chandra Source Catalog Project Team Chandra Users’ Committee Meeting October 23, 2014 Add to Reading List Source URL: cxc.harvard.edu Language: English - Date: 2014-10-22 16:07:24 Computing Programming language theory ALGOL 68 Software engineering
917	V viewpoints DOI: Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-17 18:22:37 Program analysis Programming language theory Setjmp.h Dynamic programming language Type system Eval Static program analysis JavaScript Programming language Software engineering Computing Control flow
918	WG14 N1819 INCITS PL22.11/13-‐002 Date: 2013-‐04-‐07 Reply To The Attention Of: Barry Hedquist PL22.11 Secretary Email: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-04-09 06:40:17 Cross-platform software Procedural programming languages C ALGOL 68 Software engineering Computing Programming language theory
919	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus
920	Bird Songs of the Paciﬁfic Northwest Geoffrey A. Keller and Gerrit Vyn Bird Songs of the Pacific Northwest Geoffrey A. Keller and Gerrit Vyn The Pacific Northwest region of the United States is famous for its towering Add to Reading List Source URL: www.thayerbirding.com Language: English - Date: 2011-05-07 16:53:15 Alarm signal Animal communication ML Black Turnstone Programming language theory Software engineering Computing

UPDATE